Reactive Systems, Barbed Semantics, and the Mobile Ambients

机译：反应系统，带刺语义和移动环境

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Deriving Barbed Bisimulations for Bigraphical Reactive Systems [J] . Davide Grohmann, Marino Miculan Electronic Communications of the EASST . 2009,第1期

机译：推导传记式反应系统的倒刺双仿真
2. RPO semantics for mobile ambients [J] . FILIPPO BONCHI, FABIO GADDUCCI, GIACOMA VALENTINA MONREALE Mathematical structures in computer science . 2014,第4期

机译：移动环境的RPO语义
3. Mobile Real-Time Collaboration for Semantic Multimedia: A Case Study with Mobile Augmented Reality Systems [J] . Dejan Kovachev, Petru Nicolaescu, Ralf Klamma Mobile networks & applications . 2014,第5期

机译：语义多媒体的移动实时协作：以移动增强现实系统为例
4. Reactive Systems, Barbed Semantics, and the Mobile Ambients [C] . Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale Foundations of software science and computational structures . 2009

机译：反应系统，带刺语义和移动环境
5. Mobile Reactive Systems over Bigraphical Machines - A Programming Model and its Implementation. [D] . Pereira, Eloi Teixeira. 2015

机译：基于传记机的移动反应系统-编程模型及其实现。
6. New Smart Systems for Atmospheric Aerosol and Reactive Gas Sampling in Ambient Air [O] . Paolo Cristofanelli, Maurizio Busetto, Enrico Ronchi, 2018

机译：用于大气中大气气溶胶和活性气体采样的新型智能系统
7. Reactive systems, barbed semantics, and the Mobile Ambients [O] . Bonchi, Filippo, Gadducci, Fabio, Monreale, Giacoma Valentina 2009

机译：反应系统，带刺的语义和移动环境
8. Semantics of Reactive Systems: Comparison and Full Abstraction [R] . Huizing, C. 1991

机译：反应系统的语义：比较和完全抽象

Reactive Systems, Barbed Semantics, and the Mobile Ambients

著录项

引文网络

相似文献

相关主题

期刊订阅